#include "hw3_helpers.h"

void ec_mutex_init(pthread_mutex_t *mutex) {
	pthread_mutexattr_t attr;
	pthread_mutexattr_init(&attr);
	pthread_mutexattr_settype(&attr,PTHREAD_MUTEX_ERRORCHECK_NP);
	pthread_mutex_init(mutex,&attr);
	pthread_mutexattr_destroy(&attr);
}
